1. Sentences undecidable in formalized arithmetic
Author:
Library: Library of Economics (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
Classification :
BC
135
.
M6
2. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: / Andrzej Mostowski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel's theorem
Classification :
BC
135
.
M6
3. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: Mostowski, Andrzej.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
Classification :
QA
9
.
65
.
M68
